ESPerへの道 論理型オブジェクト指向言語ESP④ ちょっと後戻り